ordered additive group造句
例句与造句
- Quantifier eliminator for the theory of the real numbers as an ordered additive group is " Fourier Motzkin elimination "; for the theory of the field of real numbers it is the " Tarski Seidenberg theorem ".
- It's difficult to find ordered additive group in a sentence. 用ordered additive group造句挺难的